Preorders on Monads and Coalgebraic Simulations Shin-ya Katsumata and Tetsuya Sato Research Institute for Mathematical Sciences, Kyoto University, Kyoto, , Japan {sinya,satoutet}@kurims.kyoto-u.ac.jp Abstract. W

Source URL: www.kurims.kyoto-u.ac.jp

• Mathematics
• Topology
• Functional programming
• Monad
• Preorder
• Grothendieck topology
• Kleisli category
• Alexandrov topology
• Adjoint functors
• Category theory
• Order theory

Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† †

Source URL: schemeworkshop.org

• Type theory
• Data types
• Functional languages
• Object-oriented programming
• Procedural programming languages
• Type system
• Type safety
• Subtype polymorphism
• Polymorphism
• Software engineering
• Computing
• Programming language theory

Clojure and AltLaw.org LispNYC June 9, 2009 Stuart Sierra “System” languages

Source URL: stuartsierra.com

• Functional languages
• Cross-platform software
• Java platform
• Subroutines
• Clojure
• Method
• Lisp
• Main function
• Java
• Computing
• Software engineering
• Computer programming

Verified Compilers for a Multi-Language World∗ Amal Ahmed Northeastern University Abstract

Source URL: www.ccs.neu.edu

• Type theory
• Procedural programming languages
• Compiler construction
• Cross-platform software
• Functional languages
• LLVM
• Type system
• Compiler
• Type safety
• Software engineering
• Computing
• Programming language theory

Rapid Case Dispatch in Scheme William D Clinger Northeastern University Abstract

Source URL: schemeworkshop.org

• Procedural programming languages
• Compiler construction
• Lisp programming language
• Cross-platform software
• Functional languages
• Scheme
• Lisp
• Compiler
• ALGOL 68
• Software engineering
• Computing
• Programming language theory

Twelf and Delphin Logic and Functional Programming in a Meta-Logical Framework Carsten Schurmann ¨

Source URL: www.itu.dk

JPIs TO CO WORK A FUNCTIONAL APPROACH TO JOINT PROGRAMMING INITIATIVES. This document is intended to prepare the field for the implementation of Framework Conditions by Joint Programming Initiatives from a functional

Source URL: www.jpis2cowork.eu

SECOND CALL FOR PAPERS for FLOPSNinth International Symposium on Functional and Logic Programming Ise, Japan, April 14-16, 2008 Submission deadline: October 10, 2007 http://www.math.nagoya-u.ac.jp/˜garrigue/FLOPS

Source URL: www.math.nagoya-u.ac.jp

Categorical Semantics for Functional Reactive Programming with Temporal Recursion and Corecursion Wolfgang Jeltsch TTÜ Küberneetika Instituut Tallinn, Estonia

Source URL: www.cs.bham.ac.uk

On The Design of Error Messages Aimed at Novice Programmers Guillaume Marceau, Kathi Fisler (WPI) Shriram Krishnamurthi (Brown) Workshop on Scheme and Functional Programming Montreal, 2010

Source URL: www.schemeworkshop.org